Berechnung und Propagation von Modelländerungen auf der Basis von Editieroperationen
نویسنده
چکیده
Modellbasierte Softwareentwicklung hat sich in verschiedensten Applikationsdomänen fest etabliert. Größtenteils visuelle Modelle wie bspw. diverse Varianten verschiedener Modelltypen der UML werden hierbei zum integralen Bestandteil aller Phasen modellbasierter Entwicklungsprozesse. Modelle unterliegen somit kontinuierlichen Änderungen und existieren im Laufe ihrer Evolution in zahlreichen Versionen und Varianten. In der Praxis zeigt sich sehr deutlich, dass die gleichen grundlegenden Werkzeugfunktionen für das Versionsmanagement von Modellen benötigt werden, die man von klassischen Repository-Systemen für textuelle Dokumente gewohnt ist. Qualitativ hochwertige und für ein breites Spektrum unterschiedlicher Modelltypen einsetzbare Differenz-, Patchund Mischwerkzeuge sind jedoch nicht verfügbar. Einen umfassenden und generischen Lösungsansatz beschreibt die hier zusammengefasste Dissertation. Diverse Zusammenarbeiten mit anderen Wissenschaftlern und der Industrie zeigen das große Interesse an der Arbeit und belegen ferner die breite Anwendbarkeit der entwickelten Konzepte und Techniken.
منابع مشابه
HAMVIS: Generierung von Visualisierungen in einem Rahmensystem zur systematischen Entwicklung von Benutzungsschnittstellen
Structure Representation Visual Structure Representation Picture Data Synthesizer (created for each type of data) Analyzer (created for each type of data) (asserted predicates in Prolog) (asserted predicates in Prolog) Inverse Visual Mapping (Prolog) Visual Mapping (Prolog) Spatial Parser (Objective C) COOL (COnstraintbased Object Layout system) Interaction Module (on NextStep) 2.3 Graphische K...
متن کاملPatchen von Modellen
Für die modellbasierte Softwareentwicklung werden spezialisierte Werkzeuge für ein professionelles Versionsund Variantenmanagement von Modellen benötigt. Insbesondere Anwendungsfälle wie das Patchen oder Mischen von Modellen stellen sehr hohe Anforderungen an die Konsistenz der synthetisierten Modelle. Während für das klassische 3-Wege-Mischen von Modellen bereits erste brauchbare Ansätze vorge...
متن کاملRadiale Level-Planarität und -Einbettung in Linearzeit
Abstract: Ein Graph mit einer geordneten k-Partitionierung seiner Knoten ist radial level-planar, wenn es eine strikte Auswärtszeichnung auf k konzentrische Kreise ohne Kreuzungen gibt. Radiale Level-Planarität ist eine Erweiterung von Level-Planarität, bei der die Knoten auf k horizontalen Linien und die Kanten strikt nach unten ohne Kreuzungen gezeichnet werden. Kennzeichnend für die Erweiter...
متن کاملArithmetik nicht-hyperelliptischer Kurven des Geschlechts 3 und ihre Anwendung in der Kryptographie
Alternative, basierend auf Q-einfachen Faktoren A f der Jacobischen Modulkur-ven X 0 (N): In diesem Fall ist die Anzahl der Punkte von A f /p für Primideale p mit guter Reduktion mittels der Theorie von Eichler-Shimura effizient berechen-bar. Falls A f zusätzlich absolut einfach und prinzipal polarisiert ist, existiert eine (bis auf Isomorphie eindeutig bestimmte) Kurve C f mit Jac(C f) C A f. ...
متن کاملEvaluierung und Erweiterung von MapReduce-Algorithmen zur Berechnung der transitiven Hülle ungerichteter Graphen für Entity Resolution Workflows
Im Bereich von Entity-Resolution oder deduplication werden aufgrund fehlender global eindeutiger Identifikatoren Match-Techniken verwendet, um zu bestimmen, ob verschiedene Datensätze dasselbe Realweltobjekt darstellen. Die inhärente quadratische Komplexität führt zu sehr langen Laufzeiten für große Datenmengen, was eine Parallelisierung dieses Prozesses erfordert. MapReduce ist wegen seiner Sk...
متن کامل